Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
11	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
12	Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-12-16 16:04:19 Logic Graphical models Mathematics Mathematical logic Structured prediction Markov random field Probability theory Non-classical logic Logic in computer science Bayesian network Random field Fuzzy logic
13	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
14	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
15	Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas Last time Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-03-01 08:55:09 Logic Philosophy Non-classical logic Reasoning Probability interpretations Formal sciences Inference Logical consequence Frequentist probability Probabilistic logic
16	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra
17	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
18	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
19	Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 03:07:42 Fuzzy logic Logic Order theory Mathematical logic Abstraction Artificial intelligence Non-classical logic Fuzzy set T-norm Partially ordered set Fuzzy control system Path ordering
20	Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-12 12:31:46 Logic Non-classical logic Philosophy Belief revision Paraconsistent logic Philosophical logic Mathematical logic Adaptive behavior